package gek.uni.aspirant.ocl.parser.ocl2tree.parser;

import gek.uni.aspirant.ocl.parser.ocl.visitors.PrologCodeGeneratorVisitor;
import gek.uni.aspirant.ocl.types.prolog.CodeGeneratorPair;
import gek.uni.aspirant.ocl.types.prolog.PrologGeneratorResult;

import java.util.Map;

import org.eclipse.ocl.OCL;
import org.eclipse.ocl.expressions.OCLExpression;
import org.eclipse.ocl.helper.OCLHelper;
import org.eclipse.uml2.uml.Classifier;

/**
 * Транслятор выражений на языке OCL в программы на Prolog'е
 * 
 * @author arkady
 * 
 */
public class OclInvariantToPrologParser implements
    IParser<PrologGeneratorResult> {
  private OCL ocl;
  private OCLHelper helper;
  private String expression;

  /**
   * Создает парсер для обработки UML-элемента
   * @param context
   * @param expression
   * @return
   */
  public static OclInvariantToPrologParser createUmlParserInstance(
      Classifier context, String expression) {
    return new OclInvariantToPrologParser(context, expression);
  }

  public OclInvariantToPrologParser(Classifier context, String expression) {
    this.expression = expression;
    ocl = org.eclipse.ocl.uml.OCL.newInstance();
    helper = ocl.createOCLHelper();
    helper.setContext(context);
  }

  @Override
  public void setStringToParse(String string) {
    this.expression = string;
  }

  @Override
  public PrologGeneratorResult parse() throws Exception {
    OCLExpression expression2 = helper.createQuery(expression);
    PrologCodeGeneratorVisitor bldr = new PrologCodeGeneratorVisitor();
    CodeGeneratorPair prologCode = expression2.accept(bldr);
    Map<String, OCLExpression> essensionMap = bldr.getStringToEssensionMap();

    PrologGeneratorResult result = new PrologGeneratorResult(prologCode, bldr
        .getStringToEssensionMap());

    return result;
  }

}
